Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
741	GENOM-POF: Multi-Objective Evolutionary Synthesis of Analog ICs with Corners Validation Nuno Lourenço Nuno Horta Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:17 Electronic design Digital electronics Integrated circuits Integrated circuit design Design closure Design flow Logic synthesis Very-large-scale integration Integrated circuit Electronic engineering Electronics Electronic design automation
742	BRICS Basic Research in Computer Science BRICS RSAger et al.: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluatio On Obtaining Knuth, Morris, and Pratt’s Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-12 05:12:36 Formal languages String matching algorithms Logic in computer science Programming language semantics Donald Knuth Knuth–Morris–Pratt algorithm String Algorithm Functional programming Mathematics Theoretical computer science Computing
743	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
744	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
745	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics
746	Semantics of Plan Revision in Intelligent Agents M. Birna van Riemsdijk John-Jules Ch. Meyer Frank S. de Boer Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2004-01-23 02:56:37 Computer science Models of computation Programming language semantics Denotational semantics Operational semantics State transition system Programming language Semantics Meta-programs Theoretical computer science Logic in computer science Applied mathematics
747	PDF Document Add to Reading List Source URL: www.psi.toronto.edu Language: English - Date: 2014-04-30 16:04:07 NP-complete problems Probability theory Operations research Belief propagation Coding theory Fourier transform Combinatory logic Dominating set Linear programming Theoretical computer science Mathematics Applied mathematics
748	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
749	Simply Logical – Chapter 5 p.102 © Peter Flach, 2000 % search(Agenda,Goal) <- Goal is a goal node, and a % Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:08 Iterative deepening depth-first search Depth-first search Logic programming Computer programming Backtracking Breadth-first search Search algorithms Artificial intelligence Mathematics
750	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:34 Control flow Procedural programming languages High-level programming languages Python Eval Assignment Conditional Lexical analysis Scheme Software engineering Computing Computer programming

UPDATE